École Polytechnique - PDFSEARCH.IO - Document Search Engine

École Polytechnique
Results: 1336

#	Item
131	ECOLE POLYTECHNIQUE PROMOTION 2009 KACZMAREK Hugo Research Internship Report Add to Reading List Source URL: 6lab.cisco.com - Date: 2014-09-10 09:00:12
132	A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc Add to Reading List Source URL: people.mpi-inf.mpg.de - Date: 2015-11-16 07:29:42
133	Édition –Diffusion 57, rue de l’École Polytechnique 75005 Paris Tél. 01 40 46 79 20 (comptoir et renseignement libraires) Fax 01 43 25 82 03 Add to Reading List Source URL: www.schulpaedagogik.uni-mainz.de - Date: 2015-04-20 05:47:01
134	Modular Focused Proof Systems for Intuitionistic Modal Logics Kaustuv Chaudhuri, Sonia Marin∗ , and Lutz Straßburger Inria & LIX/École polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2016-05-01 08:20:30
135	Church-Rosser Properties of Normal Rewriting Jean-Pierre Jouannaud ´ Ecole Polytechnique and Tsinghua University Add to Reading List Source URL: www.cri.ensmp.fr - Date: 2014-05-21 11:12:16
136	Modèles aléatoires en Ecologie et Evolution Sylvie Méléard - Ecole Polytechnique 2009 2 Add to Reading List Source URL: www.cmap.polytechnique.fr
137	Henri SMETS Membre de l’Académie de l’Eau Henri Smets, agrégé, licencié en économie et diplômé de l’École Polytechnique de Bruxelles, a obtenu son doctorat au Massachusetts Institute of Technology. Il a ét Add to Reading List Source URL: www.editions-johanet.net - Date: 2015-03-04 10:47:44
138	Efficient Lock-Free Work-stealing Iterators for Data-Parallel Collections Aleksandar Prokopec, Dmitry Petrashko, Martin Odersky LAMP, École Polytechnique Fédérale de Lausanne, Switzerland Add to Reading List Source URL: axel22.github.io - Date: 2016-08-13 13:11:44
139	Natural Algorithms and Influence Systems Bernadette Charron-Bost CNRS, Ecole polytechnique, France March 7th 2014 Add to Reading List Source URL: www.cri.ensmp.fr - Date: 2014-04-14 11:22:28
140	Near Optimal Work-Stealing Tree Scheduler for Highly Irregular Data-Parallel Workloads Aleksandar Prokopec, Martin Odersky École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland Abstract. We present a work-s Add to Reading List Source URL: axel22.github.io - Date: 2016-08-13 13:11:44

UPDATE